Compiler Based Test Case Generation

نویسنده

  • Vipin Kumar
چکیده

This paper presents a compiler based approach to automate test case generation. This approach relies on object oriented metrics to identify complex message method sequences in the program. In this approach the compiler compiles the code to generate a graphical model for the object oriented program based on System Dependence Graph. The SDG is augmented with other important information like control flow and message-method sequence information to create the model. The compiler also computes the complexity metrics for the compiled program. The message method sequence information represented in the model is used to come up with a cumulative complexity measure for each message method sequence. The compiler then outputs test scripts representing test cases for most complex message method sequences in the program. In this approach, automated analysis of the code results in increased efficiency of analysis. Different aspects of an object-oriented program that contribute to complexity are evaluated to estimate complexity of a program segments.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Safe measurement-based WCET estimation

This paper explores the issues to be addressed to provide safe worst-case execution time (WCET) estimation methods based on measurements. We suggest to use structural testing for the exhaustive exploration of paths in a program. Since test data generation is in general too complex to be used in practice for most real-size programs, we propose to generate test data for program segments only, usi...

متن کامل

Techniques for Automated Testing of Lola Industrial Robot Language Parser

The accuracy of parsing execution directly affects the accuracy of semantic analysis, optimization and object code generation. Therefore, parser testing represents the basis of compiler testing. It should include tests for correct and expected, but also for unexpected and invalid cases. Techniques for testing the parser, as well as algorithms and tools for test sentences generation, are discuss...

متن کامل

Test Suite Design for Code Generation Tools

• General approach for the systematic verification of code generators • Seamless test case derivation (process) based on formal specification (i.e. graph transformation rule) • A method is suggested to create test input data for model and code using automated structural test • Results are suitable for making general assumptions about whether or not the code generator’s behaviour is correct Cont...

متن کامل

E2E Testing and Evaluation of High Assurance Systems

DoD E2E Testing and Evaluation (T&E) technology for high assurance system has evolved from specification and analysis of thin threads, through system scenarios, and to the scenario-driven system engineering including reliability, security, and safety assurance, as well as dynamic verification and validation. Currently, E2E T&E technology is entering the fourth generation and being applied to th...

متن کامل

Title: Automated Test Case Generation for Code Generators Based on Graph-transformation Rules

In automotive software development models are the central artefact within the whole development process (model-based development). The new technology of automatic code generation closes the gap between the software design on the base of a model (executable specification) and its implementation (controller code). This paper shows how to test formally specified code generators and gives guidance ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014